Careful
نویسندگان
چکیده
منابع مشابه
Careful Analysis of Type
Saraswat's type spooong was one of the most long-lasting bugs in the JVM. Recently, its solution was proposed and implemented in JDK1.2. The correctness of this new feature, however, is non-trivial and required the formal soundness proof. Actually, during our work on it, two aws inside the new JVM implementation were found. This paper brieey reports our work and results.
متن کاملCorrecting hypotension: be careful!
To cite: Foran E, Abkur TM. BMJ Case Rep Published online: [please include Day Month Year] doi:10.1136/ bcr-2015-212904 DESCRIPTION A 42-year-old woman presented with a 2-day history of vomiting. She was drowsy, dehydrated, tachycardic and hypotensive with a blood pressure (BP) of 52/37. The immediate management included infusion of 4 L of normal saline and inotropic support. Investigations sho...
متن کاملCAReful epitope selection matters.
The treatment of chemotherapy-resistant acute lymphoblastic leukemia (ALL) is a major challenge in adult and pediatric oncology. Besides new therapies to inhibit pathways responsible for leukemia proliferation, immunotherapeutic strategies involving monoclonal antibodies directed against antigens expressed on the leukemic cells or cell therapy employing T lymphocytes or natural killer (NK) cell...
متن کاملLet's be careful out there.
If we are to change the way these services are regulated, we first must know what the trade-offs are. Consumers need to know what they are giving up if they exchange the certainty of their regulated, monopoly provider for the harsh world of the competitive marketplace. Make no mistake, there is a vast difference in cultures between a monopoly, regulated utility run with the ratepayer uppermost ...
متن کاملBeing careful about theory combination
One of the main shortcomings of traditional methods for combining theories is the complexity of guessing the arrangement of variables shared by the individual theories. This paper presents a reformulation of the Nelson-Oppen method that takes into account explicit equality propagation and can ignore pairs of shared variables that the theories do not care about. We show the correctness of the ne...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: British Journal of Psychiatry
سال: 2015
ISSN: 0007-1250,1472-1465
DOI: 10.1192/bjp.bp.114.147090